Search AI Products and News

Tao Tian Group announced yesterday at its 'Hard-Core Youth Tech Festival 4.0' event that its independently developed hundred-billion-parameter recommendation large model, RecGPT, has officially gone live. This innovative achievement will comprehensively upgrade the 'You May Also Like' information flow on the mobile Taobao homepage, providing users with a more accurate and personalized recommendation experience through AIGR (Generative Recommendation) technology. The launch of RecGPT marks an important step forward for Taobao in the field of e-commerce recommendations. Test data shows that the recommendation feed equipped with the RecGPT large model performs excellently, with real user click-through rates

Data intelligence company Databricks recently unveiled a novel large language model fine-tuning method – TAO (Test-time Adaptive Optimization). This technology offers new hope for the advancement of open-source models. By leveraging unlabeled data and reinforcement learning, TAO excels in reducing enterprise costs while achieving remarkable results across various benchmark tests. According to tech news outlet NeoWin, TAO...

Tao Lin, Vice President of Tesla, issued a statement today reiterating the company's commitment to the development path of autonomous driving technology. Lin mentioned that several years ago, company founder Elon Musk determined that only through pure vision technology can we achieve safer and smarter fully autonomous driving. She explained that because existing road and traffic rules are designed based on human vision, the combination of cameras, visual neural networks, and autonomous driving hardware can best mimic human observation, perception, and decision-making habits, potentially reaching or even surpassing human driving capabilities.

According to 'Intelligent Emergence', Hong Tao, co-founder and former head of commercialization at Baichuan Intelligent, has left the company. Sources close to Baichuan have revealed that Hong is no longer involved in the company's daily operations and that his departure has been for some time. Baichuan responded by stating that Hong left for personal reasons and thanked him for his contributions to the commercialization team during the company's early stages. Hong was formerly the Chief Marketing Officer (CMO) at Sogou and successfully helped Sogou rank among the top six in internet advertising revenue.

In a recent sensational news in the mathematical community, a group of alumni from Tsinghua University has successfully proven 162 previously unsolved mathematical theorems with the help of AI. Even more impressively, this intelligent agent named LeanAgent has tackled Terence Tao's formal challenge regarding the Polynomial Freiman-Ruzsa Conjecture! This has led us to marvel at how AI has completely transformed the research methods in basic scientific studies. It is well known that current language models (LLMs), while impressive, still have limitations.

Recently, world-renowned mathematician Terence Tao stated in an interview with The Atlantic that artificial intelligence may never replace human mathematicians. Tao, recognized as 'the greatest living mathematician,' believes there is a fundamental difference between artificial intelligence and human mathematicians. Note: The image is AI-generated and provided by image licensing service Midjourney. Tao pointed out that the key difference between a graduate student and artificial intelligence is that a graduate student learns and progresses. While artificial intelligence can temporarily correct its course when faced with failure, it sometimes may not fully adapt.

A group of amateur enthusiasts successfully verified that the fifth number BB(5) of the Busy Beaver problem equals 47,176,870 using the Coq proof assistant software. This is the most significant advancement in the field of computational theory since 1983. This achievement marks an enhancement in the ability to solve complex mathematical problems, demonstrating the potential of software-assisted proof. The Busy Beaver problem dates back to 1974 and aims to find the specific Turing machines that can write the most '1's. The core of the problem lies in understanding the behavior of Turing machines, particularly their performance regarding the halting problem. This discovery not only contributes to

Google DeepMind's AI systems AlphaProof and AlphaGeometry2 achieved remarkable results in the International Mathematical Olympiad, winning silver medals and demonstrating astonishing capabilities in solving mathematical problems. AlphaGeometry2 solved a geometric problem in 19 seconds, surpassing the speed and accuracy of top human mathematicians. This achievement has been highly praised by legendary figures in the mathematics community, who believe it expands the boundaries of AI applications in the field of mathematics. Terence Tao noted that advances in AI will aid mathematical research.

Terence Tao successfully applied AI tools to formalize the proof of the polynomial Freiman-Ruzsa conjecture, garnering significant attention in the mathematical community. He meticulously documented the process of formalizing the proof using Blueprint in Lean4, emphasizing the importance of correctly utilizing AI tools. With the help of the Blueprint tool, Tao's team decomposed the proof process and successfully formalized the PFR conjecture through the parallel efforts of numerous contributors. Tao believes that the mainstreaming of formalized proofs or the creation of proofs that are both human-readable and machine-verifiable will evolve mathematics.

XTX Markets has launched the AI-MO competition aimed at enhancing the mathematical reasoning capabilities of large language models. The AI Olympic Mathematics Prize, supported by Terence Tao, offers a staggering total of $50 million. The AI-MO competition requires participating AI models to demonstrate human-like mathematical problem-solving formats and the ability to generate readable answers. Gold medal-level AIs will be awarded the $50 million prize, drawing widespread attention from the industry. The competition rules are still under discussion, with final results to be announced in July next year in the UK.